Proof Development with Ω mega
Identifieur interne : 000C07 ( Main/Exploration ); précédent : 000C06; suivant : 000C08Proof Development with Ω mega
Auteurs : Jörg Siekmann [Allemagne] ; Christoph Benzmüller [Allemagne] ; Vladimir Brezhnev [Allemagne] ; Lassaad Cheikhrouhou [Allemagne] ; Armin Fiedler [Allemagne] ; Andreas Franke [Allemagne] ; Helmut Horacek [Allemagne] ; Michael Kohlhase [Allemagne] ; Andreas Meier [Allemagne] ; Erica Melis [Allemagne] ; Markus Moschner [Allemagne] ; Immanuel Normann [Allemagne] ; Martin Pollet [Allemagne] ; Volker Sorge [Allemagne] ; Carsten Ullrich [Allemagne] ; Claus-Peter Wirth [Allemagne] ; Jürgen Zimmer [Allemagne]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2002.
English descriptors
- Teeft :
- Abstract level, Abstract proof, Additional information, Algebra, Assertion level, Atp, Benzm, Blackboard architecture, Calculus, Case studies, Case study, Cass, Central data structure, Challenge problems, Common divisor, Complete proof plan, Computer algebra system maple, Computer algebra systems, Computer science, Conclusion line, Constraint solver, Control rules, Current proof state, Database, Divisor, Evenp, Existentially quanitified line, Existentially variables, External reasoners, External reasoning systems, External systems, Graphical, Graphical user interface, Higher level, Inference rule, Integer, Interactive, Interactive island planning, Interactive proof development, International conference, Irrationality, Island gaps, Kirchner, Knowledge base, Kohlhase, Ller, Lnai, Logic level, Logical calculus, Lower level, Lower levels, Lowest level, Mathematical domains, Mbase, Mega, Mega project, Mega system, Meier, Melis, Model generator, Module, Multi, Natural deduction, Natural number, Ndline, Node, Omega, Open node, Open omega, Otter, Otter process, Otter proof otter, Otter time resource, Parameter termsym list, Pollet, Possible actions, Prime divisor, Prime divisors, Proc, Proof, Proof checker, Proof construction, Proof context, Proof development, Proof explanation, Proof line, Proof lines, Proof object, Proof plan, Proof plan data structure, Proof planner multi, Proof planning, Proof plans, Proof search, Proof step, Proof steps, Proof tree, Reasoning systems, Recursive process, Residue classes, Saarland university, Siekmann, Solver, Sorge, Special issue, Springer, Springer verlag, Sqrt, Subgoal line, Subproof, Successor function, Support nodes, Symbolic computation, System description, System support, Tactic, Tactic application, Tactic applications, Tactic bycomputation, Tactic wellsorted, Theorem prover, Theorem provers, Time resource, Tramp, Unit element, User, User interaction, Verlag, Wellsorted.
Abstract
Abstract: The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group.
Url:
- https://api.istex.fr/document/EDD6CF67524E4C574DBCF78841271900904016AB/fulltext/pdf
- https://api.istex.fr/document/B78C5BF2D8395099CE78023765DC5E6801109B9A/fulltext/pdf
DOI: 10.1007/3-540-45620-1_12
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 001890
- to stream Istex, to step Curation: 001775
- to stream Istex, to step Checkpoint: 000999
- to stream Main, to step Merge: 000C08
- to stream Istex, to step Corpus: 001304
- to stream Istex, to step Curation: 001212
- to stream Istex, to step Checkpoint: 000998
- to stream Main, to step Merge: 000C07
- to stream Main, to step Curation: 000C07
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Proof Development with Ω mega</title><author><name sortKey="Siekmann, Jorg" sort="Siekmann, Jorg" uniqKey="Siekmann J" first="Jörg" last="Siekmann">Jörg Siekmann</name></author><author><name sortKey="Benzmuller, Christoph" sort="Benzmuller, Christoph" uniqKey="Benzmuller C" first="Christoph" last="Benzmüller">Christoph Benzmüller</name></author><author><name sortKey="Brezhnev, Vladimir" sort="Brezhnev, Vladimir" uniqKey="Brezhnev V" first="Vladimir" last="Brezhnev">Vladimir Brezhnev</name></author><author><name sortKey="Cheikhrouhou, Lassaad" sort="Cheikhrouhou, Lassaad" uniqKey="Cheikhrouhou L" first="Lassaad" last="Cheikhrouhou">Lassaad Cheikhrouhou</name></author><author><name sortKey="Fiedler, Armin" sort="Fiedler, Armin" uniqKey="Fiedler A" first="Armin" last="Fiedler">Armin Fiedler</name></author><author><name sortKey="Franke, Andreas" sort="Franke, Andreas" uniqKey="Franke A" first="Andreas" last="Franke">Andreas Franke</name></author><author><name sortKey="Horacek, Helmut" sort="Horacek, Helmut" uniqKey="Horacek H" first="Helmut" last="Horacek">Helmut Horacek</name></author><author><name sortKey="Kohlhase, Michael" sort="Kohlhase, Michael" uniqKey="Kohlhase M" first="Michael" last="Kohlhase">Michael Kohlhase</name></author><author><name sortKey="Meier, Andreas" sort="Meier, Andreas" uniqKey="Meier A" first="Andreas" last="Meier">Andreas Meier</name></author><author><name sortKey="Melis, Erica" sort="Melis, Erica" uniqKey="Melis E" first="Erica" last="Melis">Erica Melis</name></author><author><name sortKey="Moschner, Markus" sort="Moschner, Markus" uniqKey="Moschner M" first="Markus" last="Moschner">Markus Moschner</name></author><author><name sortKey="Normann, Immanuel" sort="Normann, Immanuel" uniqKey="Normann I" first="Immanuel" last="Normann">Immanuel Normann</name></author><author><name sortKey="Pollet, Martin" sort="Pollet, Martin" uniqKey="Pollet M" first="Martin" last="Pollet">Martin Pollet</name></author><author><name sortKey="Sorge, Volker" sort="Sorge, Volker" uniqKey="Sorge V" first="Volker" last="Sorge">Volker Sorge</name></author><author><name sortKey="Ullrich, Carsten" sort="Ullrich, Carsten" uniqKey="Ullrich C" first="Carsten" last="Ullrich">Carsten Ullrich</name></author><author><name sortKey="Wirth, Claus Peter" sort="Wirth, Claus Peter" uniqKey="Wirth C" first="Claus-Peter" last="Wirth">Claus-Peter Wirth</name></author><author><name sortKey="Zimmer, Jurgen" sort="Zimmer, Jurgen" uniqKey="Zimmer J" first="Jürgen" last="Zimmer">Jürgen Zimmer</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:EDD6CF67524E4C574DBCF78841271900904016AB</idno><date when="2002" year="2002">2002</date><idno type="doi">10.1007/3-540-45620-1_12</idno><idno type="url">https://api.istex.fr/document/EDD6CF67524E4C574DBCF78841271900904016AB/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">001890</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001890</idno><idno type="wicri:Area/Istex/Curation">001775</idno><idno type="wicri:Area/Istex/Checkpoint">000999</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000999</idno><idno type="wicri:doubleKey">0302-9743:2002:Siekmann J:proof:development:with</idno><idno type="wicri:Area/Main/Merge">000C08</idno><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:B78C5BF2D8395099CE78023765DC5E6801109B9A</idno><idno type="url">https://api.istex.fr/document/B78C5BF2D8395099CE78023765DC5E6801109B9A/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">001304</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001304</idno><idno type="wicri:Area/Istex/Curation">001212</idno><idno type="wicri:Area/Istex/Checkpoint">000998</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000998</idno><idno type="wicri:doubleKey">0302-9743:2002:Siekmann J:proof:development:with</idno><idno type="wicri:Area/Main/Merge">000C07</idno><idno type="wicri:Area/Main/Curation">000C07</idno><idno type="wicri:Area/Main/Exploration">000C07</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Proof Development with Ω mega</title><author><name sortKey="Siekmann, Jorg" sort="Siekmann, Jorg" uniqKey="Siekmann J" first="Jörg" last="Siekmann">Jörg Siekmann</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author><author><name sortKey="Benzmuller, Christoph" sort="Benzmuller, Christoph" uniqKey="Benzmuller C" first="Christoph" last="Benzmüller">Christoph Benzmüller</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Brezhnev, Vladimir" sort="Brezhnev, Vladimir" uniqKey="Brezhnev V" first="Vladimir" last="Brezhnev">Vladimir Brezhnev</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Cheikhrouhou, Lassaad" sort="Cheikhrouhou, Lassaad" uniqKey="Cheikhrouhou L" first="Lassaad" last="Cheikhrouhou">Lassaad Cheikhrouhou</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Fiedler, Armin" sort="Fiedler, Armin" uniqKey="Fiedler A" first="Armin" last="Fiedler">Armin Fiedler</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Franke, Andreas" sort="Franke, Andreas" uniqKey="Franke A" first="Andreas" last="Franke">Andreas Franke</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Horacek, Helmut" sort="Horacek, Helmut" uniqKey="Horacek H" first="Helmut" last="Horacek">Helmut Horacek</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Kohlhase, Michael" sort="Kohlhase, Michael" uniqKey="Kohlhase M" first="Michael" last="Kohlhase">Michael Kohlhase</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Meier, Andreas" sort="Meier, Andreas" uniqKey="Meier A" first="Andreas" last="Meier">Andreas Meier</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Melis, Erica" sort="Melis, Erica" uniqKey="Melis E" first="Erica" last="Melis">Erica Melis</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Moschner, Markus" sort="Moschner, Markus" uniqKey="Moschner M" first="Markus" last="Moschner">Markus Moschner</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Normann, Immanuel" sort="Normann, Immanuel" uniqKey="Normann I" first="Immanuel" last="Normann">Immanuel Normann</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Pollet, Martin" sort="Pollet, Martin" uniqKey="Pollet M" first="Martin" last="Pollet">Martin Pollet</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Sorge, Volker" sort="Sorge, Volker" uniqKey="Sorge V" first="Volker" last="Sorge">Volker Sorge</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Ullrich, Carsten" sort="Ullrich, Carsten" uniqKey="Ullrich C" first="Carsten" last="Ullrich">Carsten Ullrich</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Wirth, Claus Peter" sort="Wirth, Claus Peter" uniqKey="Wirth C" first="Claus-Peter" last="Wirth">Claus-Peter Wirth</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author><author><name sortKey="Zimmer, Jurgen" sort="Zimmer, Jurgen" uniqKey="Zimmer J" first="Jürgen" last="Zimmer">Jürgen Zimmer</name><affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country><wicri:regionArea>FR 6.2 Informatik, Universität des Saarlandes, 66041, Saarbrücken</wicri:regionArea><placeName><region type="land" nuts="2">Sarre (Land)</region><settlement type="city">Sarrebruck</settlement></placeName></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2002</date></imprint><idno type="ISSN">0302-9743</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="Teeft" xml:lang="en"><term>Abstract level</term><term>Abstract proof</term><term>Additional information</term><term>Algebra</term><term>Assertion level</term><term>Atp</term><term>Benzm</term><term>Blackboard architecture</term><term>Calculus</term><term>Case studies</term><term>Case study</term><term>Cass</term><term>Central data structure</term><term>Challenge problems</term><term>Common divisor</term><term>Complete proof plan</term><term>Computer algebra system maple</term><term>Computer algebra systems</term><term>Computer science</term><term>Conclusion line</term><term>Constraint solver</term><term>Control rules</term><term>Current proof state</term><term>Database</term><term>Divisor</term><term>Evenp</term><term>Existentially quanitified line</term><term>Existentially variables</term><term>External reasoners</term><term>External reasoning systems</term><term>External systems</term><term>Graphical</term><term>Graphical user interface</term><term>Higher level</term><term>Inference rule</term><term>Integer</term><term>Interactive</term><term>Interactive island planning</term><term>Interactive proof development</term><term>International conference</term><term>Irrationality</term><term>Island gaps</term><term>Kirchner</term><term>Knowledge base</term><term>Kohlhase</term><term>Ller</term><term>Lnai</term><term>Logic level</term><term>Logical calculus</term><term>Lower level</term><term>Lower levels</term><term>Lowest level</term><term>Mathematical domains</term><term>Mbase</term><term>Mega</term><term>Mega project</term><term>Mega system</term><term>Meier</term><term>Melis</term><term>Model generator</term><term>Module</term><term>Multi</term><term>Natural deduction</term><term>Natural number</term><term>Ndline</term><term>Node</term><term>Omega</term><term>Open node</term><term>Open omega</term><term>Otter</term><term>Otter process</term><term>Otter proof otter</term><term>Otter time resource</term><term>Parameter termsym list</term><term>Pollet</term><term>Possible actions</term><term>Prime divisor</term><term>Prime divisors</term><term>Proc</term><term>Proof</term><term>Proof checker</term><term>Proof construction</term><term>Proof context</term><term>Proof development</term><term>Proof explanation</term><term>Proof line</term><term>Proof lines</term><term>Proof object</term><term>Proof plan</term><term>Proof plan data structure</term><term>Proof planner multi</term><term>Proof planning</term><term>Proof plans</term><term>Proof search</term><term>Proof step</term><term>Proof steps</term><term>Proof tree</term><term>Reasoning systems</term><term>Recursive process</term><term>Residue classes</term><term>Saarland university</term><term>Siekmann</term><term>Solver</term><term>Sorge</term><term>Special issue</term><term>Springer</term><term>Springer verlag</term><term>Sqrt</term><term>Subgoal line</term><term>Subproof</term><term>Successor function</term><term>Support nodes</term><term>Symbolic computation</term><term>System description</term><term>System support</term><term>Tactic</term><term>Tactic application</term><term>Tactic applications</term><term>Tactic bycomputation</term><term>Tactic wellsorted</term><term>Theorem prover</term><term>Theorem provers</term><term>Time resource</term><term>Tramp</term><term>Unit element</term><term>User</term><term>User interaction</term><term>Verlag</term><term>Wellsorted</term></keywords></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group.</div></front></TEI><affiliations><list><country><li>Allemagne</li></country><region><li>Sarre (Land)</li></region><settlement><li>Sarrebruck</li></settlement></list><tree><country name="Allemagne"><region name="Sarre (Land)"><name sortKey="Siekmann, Jorg" sort="Siekmann, Jorg" uniqKey="Siekmann J" first="Jörg" last="Siekmann">Jörg Siekmann</name></region><name sortKey="Benzmuller, Christoph" sort="Benzmuller, Christoph" uniqKey="Benzmuller C" first="Christoph" last="Benzmüller">Christoph Benzmüller</name><name sortKey="Brezhnev, Vladimir" sort="Brezhnev, Vladimir" uniqKey="Brezhnev V" first="Vladimir" last="Brezhnev">Vladimir Brezhnev</name><name sortKey="Cheikhrouhou, Lassaad" sort="Cheikhrouhou, Lassaad" uniqKey="Cheikhrouhou L" first="Lassaad" last="Cheikhrouhou">Lassaad Cheikhrouhou</name><name sortKey="Fiedler, Armin" sort="Fiedler, Armin" uniqKey="Fiedler A" first="Armin" last="Fiedler">Armin Fiedler</name><name sortKey="Franke, Andreas" sort="Franke, Andreas" uniqKey="Franke A" first="Andreas" last="Franke">Andreas Franke</name><name sortKey="Horacek, Helmut" sort="Horacek, Helmut" uniqKey="Horacek H" first="Helmut" last="Horacek">Helmut Horacek</name><name sortKey="Kohlhase, Michael" sort="Kohlhase, Michael" uniqKey="Kohlhase M" first="Michael" last="Kohlhase">Michael Kohlhase</name><name sortKey="Meier, Andreas" sort="Meier, Andreas" uniqKey="Meier A" first="Andreas" last="Meier">Andreas Meier</name><name sortKey="Melis, Erica" sort="Melis, Erica" uniqKey="Melis E" first="Erica" last="Melis">Erica Melis</name><name sortKey="Moschner, Markus" sort="Moschner, Markus" uniqKey="Moschner M" first="Markus" last="Moschner">Markus Moschner</name><name sortKey="Normann, Immanuel" sort="Normann, Immanuel" uniqKey="Normann I" first="Immanuel" last="Normann">Immanuel Normann</name><name sortKey="Pollet, Martin" sort="Pollet, Martin" uniqKey="Pollet M" first="Martin" last="Pollet">Martin Pollet</name><name sortKey="Siekmann, Jorg" sort="Siekmann, Jorg" uniqKey="Siekmann J" first="Jörg" last="Siekmann">Jörg Siekmann</name><name sortKey="Sorge, Volker" sort="Sorge, Volker" uniqKey="Sorge V" first="Volker" last="Sorge">Volker Sorge</name><name sortKey="Ullrich, Carsten" sort="Ullrich, Carsten" uniqKey="Ullrich C" first="Carsten" last="Ullrich">Carsten Ullrich</name><name sortKey="Wirth, Claus Peter" sort="Wirth, Claus Peter" uniqKey="Wirth C" first="Claus-Peter" last="Wirth">Claus-Peter Wirth</name><name sortKey="Zimmer, Jurgen" sort="Zimmer, Jurgen" uniqKey="Zimmer J" first="Jürgen" last="Zimmer">Jürgen Zimmer</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Sarre/explor/MusicSarreV3/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000C07 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000C07 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Sarre
|area= MusicSarreV3
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:EDD6CF67524E4C574DBCF78841271900904016AB
|texte= Proof Development with Ω mega
}}
| This area was generated with Dilib version V0.6.33. |  |